trait A {
    type S[_]
}

